Oprogramowania idealne
17 sierpnia 2009, 11:48Australijska organizacja NICTA ogłosiła powstanie pierwszego w historii jądra systemu operacyjnego, które nie tylko zostało w całości matematycznie opisane, ale również przeprowadzono matematyczne dowody na to, iż każda z linii kodu jest w pełni zgodna ze specyfikacją.
Matematyk udowodnił niestabilność jednego z rodzajów czasoprzestrzeni
15 maja 2020, 13:02Równania wywiedzione z ogólnej teorii względności opisują trzy podstawowe konfiguracje czasoprzestrzeni. Teraz udowodniono, że jedna z tych konfiguracji, ważna z punktu widzenia grawitacji kwantowej, jest z natury niestabilna.
Wykroczeń jest więcej, gdy nie wymaga to wysiłku
24 listopada 2010, 11:39Ludzie częściej popełniają wykroczenia, zachowują się niemoralnie, jeśli przekroczenie jakiejś normy nie wymaga wysiłku. Psycholodzy z Uniwersytetu w Toronto podają przykład osoby twierdzącej, że nigdy nie posunęłaby się do ściągania, której nagle wpadają w ręce testy z gotowymi odpowiedziami. Wg naukowców, taki scenariusz zwiększa prawdopodobieństwo oszukiwania.
Sztuczna inteligencja może bardzo się mylić. Warto uważać na jej zastosowania w medycynie
8 czerwca 2020, 19:40Autorzy badań opublikowanych na łamach PNAS ostrzegają, że nie można ufać technikom obrazowania medycznego rekonstruowanym za pomocą sztucznej inteligencji. Międzynarodowy zespół naukowy pracujący pod kierunkiem Andersa Hansena z Uniwersytetu w Cambridge stwierdził, że narzędzia do głębokiego uczenia się, które rekonstruują obrazy wysokiej jakości na podstawie szybkich skanów, tworzą liczne przekłamania i artefakty, które mogą wpływać na diagnozę.
Stela Burzy, wulkan i nowa chronologia historyczna
3 kwietnia 2014, 09:09Nowe tłumaczenie egipskiej Steli Burzy może skłonić ekspertów do zmiany chronologii historii Egiptu. Dwóch naukowców z Instytutu Orientalistyki Uniwersytetu w Chicago uważa, że Stela Burzy opisuje pogodę, jaka występowała po wybuchu wulkanu Thera.
Przełomowe badania polskich matematyków nt. symetrii wszystkich symetrii
15 marca 2021, 16:37Polskim matematykom udało się rozwiązać ważny problem dotyczący symetrii wszystkich symetrii. Był to nierozwiązany od kilku dekad problem – jedno z największych wyzwań geometrycznej teorii grup.
Najdłuższy dowód matematyczny w historii
1 czerwca 2016, 09:33Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.
Mordercy naukowcami. Niezwykłe historie leksykografa, ornitologa i matematyka
16 marca 2022, 06:51Niejednokrotnie słyszeliśmy o naukowcach, którzy popełnili przestępstwo. Najsłynniejszy to niewątpliwie Galileusz, który za nieposłuszeństwo wobec Inkwizycji został skazany na areszt domowy. Spędził go zresztą w luksusowych willach i pałacu arcybiskupim. Nie wszyscy uczeni mieli tyle szczęścia. W 2012 roku włoski sąd skazał siedmiu sejsmologów na karę po sześć lat więzienia za to, że zapewniali, iż ludność miasta L'Aquila jest bezpieczna. Tymczasem w wyniku trzęsienia ziemi zginęło ponad 300 osób.
Wciąż trwają analizy dowodu Mochizukiego
1 sierpnia 2016, 10:49Przed czterema laty Shinichi Mochizuki opublikował 500-stronicowy dowód matematyczny na prawdziwość hipotezy ABC. Jeśli dowód jest prawdziwy, to mamy do czynienia z największym osiągnięciem matematyki XXI wieku. Problem w tym, że nikt nie potrafi zrozumieć pracy Mochizukiego.
SI powinna mieć wbudowaną ograniczoną wiarę we własne możliwości
6 czerwca 2017, 10:01Wiara we własne możliwości jest cechą zdecydowanie dobrą, o ile wiemy, gdzie są granice i kiedy należy poprosić o pomoc. Eksperci proponują, by mechanizm oceny własnych umiejętności, wiary w siebie, wbudować w maszyny. W obliczu szybkiego rozwoju sztucznej inteligencji pozwoli nam to je lepiej kontrolować.
